/*
 * Prefixed.java
 *
 * Created on August 4, 2004, 8:02 PM
 */

package org.infoset.xml;

/**
 *
 * @author  R. Alexander Milowski
 */
public interface Prefixed {

   String getPrefix();
   
   void setPrefix(String prefix);
}
